eigenvalues of unitary matrix have modulus 1